Language and Computation - PDFSEARCH.IO - Document Search Engine

Language and Computation
Results: 343

#	Item
101	Models of Computation Lecture 4: Nondeterministic Automata [Fa’14] Caveat lector! This is the first edition of this lecture note. Some topics are incomplete, and there are almost certainly a few serious errors. Please Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:05:08 Applied mathematics Nondeterministic finite automaton Powerset construction Deterministic finite automaton Regular expression Finite-state machine Regular language Symbol String Automata theory Theoretical computer science Computer science
102	The Grouped Author-Topic Model for Unsupervised Entity Resolution Andrew M. Dai and Amos J. Storkey Institute for Adaptive and Neural Computation, School of Informatics, University of Edinburgh, U.K. {a.dai,a.storkey}@ed Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-09-27 08:11:22 Statistical natural language processing Stochastic processes Machine learning Statistical models Natural language processing Latent Dirichlet allocation Dirichlet process Plate notation Mixture model Statistics Probability and statistics Probability
103	c LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{ ??, Kluwer Academic Publishers { Manufactured in The Netherlands A Veried Compiler for VLISP PreScheme Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Logic in computer science Programming language semantics PreScheme Scheme programming language Compiler construction Denotational semantics Scheme 48 Compiler Operational semantics Software engineering Computing Computer programming
104	Cyclic Architectures in UML Techletter Nr. 2 What is a Techletter? Well actually nothing more than a newsletter, just that the content mainly focusses on technical items in the UML and in embedded systems with limited re Add to Reading List Source URL: www.willert.de Language: English - Date: 2015-01-12 10:47:06 Diagrams Unified Modeling Language Infographics Models of computation UML tool State diagram Activity diagram Embedded system Entity-relationship model Software UML diagrams Computing
105	LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{??, 1993 c 1993 Kluwer Academic Publishers { Manufactured in The Netherlands A Tractable Scheme Implementation RICHARD A. KELSEY Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Control flow Subroutines Functional languages Lisp programming language Cross-platform software Scheme Lisp Continuation Tail call Software engineering Computing Computer programming
106	Capacity and Expressiveness of Genomic Tandem Duplication Siddharth Jain Farzad Farnoud (Hassanzadeh) Add to Reading List Source URL: www.paradise.caltech.edu Language: English - Date: 2015-02-26 18:45:52 Mathematics Combinatorics on words Theoretical computer science Models of computation String Substring Regular language Deterministic finite automaton Regular expression Formal languages Automata theory Combinatorics
107	A semantic model of computation for natural system modelling Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-15 19:01:36 Semantic Web Information science Data Technical communication Knowledge representation Web Ontology Language Description logic Workflow Knowledge representation and reasoning Information Ontology Science
108	Query-by-Example Image Retrieval using Visual Dependency Representations Desmond Elliott, Victor Lavrenko and Frank Keller Institute of Language, Communication, and Computation School of Informatics University of Edinbur Add to Reading List Source URL: anthology.aclweb.org Language: English - Date: 2014-08-08 12:19:11 Image processing Artificial intelligence Image search Image retrieval Recall Feature 3D modeling Vision Computer vision Imaging
109	A Bisimulation for Type Abstraction and Recursion EIJIRO SUMII Tohoku University and BENJAMIN C. PIERCE University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-08-08 12:01:23 Lambda calculus Models of computation Logic in computer science Programming language semantics Denotational semantics Fixed-point combinator Model theory Simply typed lambda calculus Curry–Howard correspondence Theoretical computer science Applied mathematics Computer science
110	P1: MVG/SFI P2: MVG LISP and Symbolic Computation Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:00 Compiler construction Procedural programming languages Programming language implementation Functional languages Lisp programming language Compiler Partial evaluation Code generation Lisp Programming language theory Software engineering Computing

UPDATE